Ty = Sequence(Segment[(0, t, -0.1), (0, t, 0.1)], t, 1, 6)
Tx = Sequence(Segment[(t, 0, -0.1), (t, 0, 0.1)], t, 1, 6)
Tz = Sequence(Segment[(0, -0.1, t), (0, 0.1, t)], t, 1, 6)
w = Vector((0, 0, 0), (0, 0, 7))
Kx = Sequence(Text[n, (n, 0)], n, 1, 6)
Ky = Sequence(Text[n, (0, n)], n, 1, 6)
x_1 = 3 (slider from -5 to 7, step 1)
y_1 = 5 (slider from -5 to 7, step 1)
z_1 = 3 (slider from -5 to 7, step 1)
E_1: (0, 0, z_1)
A1 = (0, 0, 0)
B1: (x_1, 0, 0)
C1: (x_1, y_1, 0)
D: (0, y_1, 0)
a, F, G, H, faceABFE, faceBCGF, faceCDHG, faceADHE, faceEFGH, edgeAE, edgeBF, edgeCG, edgeDH, edgeEF, edgeFG, edgeGH, edgeEH = Prism(Polygon[A1, B1, C1, D], E_1)
u = Vector(A1, (7, 0, 0))
v = Vector((0, -2, 0), (0, 7, 0))
A = (4, 0, 5)
B = (-1, 5, 0)
c_1 = 0
c_2 = 0
c_3 = 0
c_4 = 0
c_5 = 0
c_6 = 0
c_7 = 0
poly1, b, c, d, e = Polygon(A1, B1, C1, D)
g = Line(A, B)
E = Plane(F, G, H)
S = Intersect(E, g)
r1: Vector[A1, A] - Vector[A, B] * 0.5
r2: Vector[A1, B] + Vector[A, B] * 0.5
C: (x(r1), y(r1), z(r1))
I: (x(r2), y(r2), z(r2))
f = Segment(C, I)